1. Banach Space Theory : the Basis for Linear and Nonlinear Analysis
پدیدآورنده : Marian Fabiaan ; Petr Habala ; Petr Hajek ; Vicente Montesinos ; Vaclav Zizler
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Banach Spaces
رده :
QA
322
.
2
.
B3
2011
2. Banach space theory
پدیدآورنده :
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع :
رده :
QA
,
322
.
2
,.
R47
,
2010
{
1648
},
d5395094d2d5d54de5e9d0cbe
3. Banach space theory :the basis for linear and nonlinear analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Bnach space.
رده :
QA
322
.
2
.
B34
2011
4. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
5. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
6. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
7. Lecture Notes in Logic6
پدیدآورنده : / Petr Hajek
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
8. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
9. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
10. Mechanizing hypothesis formation
پدیدآورنده : / [by] P. Hajek, T. Havranek
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA76
.
9
،.
A955
,
H34
1978
11. Metamathematics of first-order arithmetic
پدیدآورنده : Hajek, Petr
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Arithmetic -- Foundations
رده :
QA
248
.
H24M4
12. Metamathematics of first-order arithmetic
پدیدآورنده : Hajek, Petr.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Arithmetic-- Foundations
رده :
QA
248
.
H23
1993
13. Metamathematics of first-order arithmetic
پدیدآورنده : Hajek, Petr.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Arithmetic - Foundations
رده :
QA
248
.
H23
1993
14. Metamathematics of fuzzy logic
پدیدآورنده : Hajek, Petr
موضوع : ، Fuzzy set,، Fuzzy logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Metamathematics of fuzzy logic
پدیدآورنده : Hajek, Petr.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Fuzzy logic
رده :
QA
9
.
64
.
H34
1998
16. The theory of semisets
پدیدآورنده : Vopenka, Petr.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory
رده :
QA
248
.
V68
17. The theory of semisets
پدیدآورنده : Vopenka, Petr
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory
رده :
QA
248
.
V68
1972b
18. The theory of semisets
پدیدآورنده : Vopeenka, Petr., ]By[ Petr Vopeenka and Petr Hajek
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Set theory
رده :
QA
248
.
V68
19. The theory of semisets
پدیدآورنده : / Peter Vopenka, Petr Hajek
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Set theory
رده :
511
.
3
V952
20. The theory of semisets
پدیدآورنده : Vopenka, Petr.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory
رده :
QA
248
.
V68
1972b
